# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/why/why-2.01.ebuild,v 1.1 2007/04/03 14:56:44 zechs Exp $

inherit eutils

DESCRIPTION="PrecoSAT - a SAT solver"
HOMEPAGE="http://fmv.jku.at/precosat/"
SRC_URI="http://fmv.jku.at/precosat/${PN}${PV}.zip"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86"

IUSE=""
DEPEND=""

src_unpack() {
	unpack ${A}
}

src_compile() {
	cd ${WORKDIR}/${PN}${PV}
	econf || die
	emake || die
}

src_install() {
	cd ${WORKDIR}/${PN}${PV}
	dobin precosat
	insinto /usr/include/precosat
	doins precosat.hh	
}
